大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Special Interest Group on Design Automation 的图书(共4151本)

Stability Analysis and Nonlinear Observer Design Using Takagi-Sugeno Fuzzy Models [electronic resource]

0
索取号:
作者:Lendek、 Zs贸fia.、Guerra、 Thierry Marie.、Babu拧ka、 Robert.、Schutter、 Bart.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Design Methodologies for Secure Embedded Systems [electronic resource] : Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss

0
索取号:
作者:Biedermann、 Alexander.、Molter、 H. Gregor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Conceptual Modeling-Applications and Challenges [electronic resource] : ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings

0
索取号:
作者:Trujillo、 Juan.、Dobbie、 Gillian.、Kangassalo、 Hannu.、Hartmann、 Sven.、Kirchberg、 Markus.、Rossi、 Matti.、Reinhartz-Berger、 Iris.、Zim谩nyi、 Esteban.、Frasincar、 Flavius.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Chemical Design of Responsive Microgels [electronic resource]

0
索取号:
作者:Pich、 Andrij.、Richtering、 Walter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Computational Methods for the Innovative Design of Electrical Devices [electronic resource]

0
索取号:
作者:Wiak、 S艂awomir.、Napieralska-Juszczak、 Ewa.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automotive Transmissions [electronic resource] : Fundamentals, Selection, Design and Application

0
索取号:
作者:Naunheimer、 Harald.、Bertsche、 Bernd.、Ryborz、 Joachim.、Novak、 Wolfgang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automation, Communication and Cybernetics in Science and Engineering 2009/2010 [electronic resource]

0
索取号:
作者:Jeschke、 Sabina.、Isenhardt、 Ingrid.、Henning、 Klaus.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Cooperative Design, Visualization, and Engineering [electronic resource] : 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010. Proceedings

0
索取号:
作者:Luo、 Yuhua.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Transactions on Computational Science IX [electronic resource] : Special Issue on Voronoi Diagrams in Science and Engineering

0
索取号:
作者:Gavrilova、 Marina L.、Tan、 C. J. Kenneth.、Anton、 Fran莽ois.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Global Product Development [electronic resource] : Proceedings of the 20th CIRP Design Conference, Ecole Centrale de Nantes, Nantes, France, 19th-21st April 2010

0
索取号:
作者:Bernard、 Alain.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Modeling, Design, and Simulation of Systems with Uncertainties [electronic resource]

0
索取号:
作者:Rauh、 Andreas.、Auer、 Ekaterina.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Haptic and Audio Interaction Design [electronic resource] : 5th International Workshop, HAID 2010, Copenhagen, Denmark, September 16-17, 2010. Proceedings

0
索取号:
作者:Nordahl、 Rolf.、Serafin、 Stefania.、Fontana、 Federico.、Brewster、 Stephen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Complex Systems Design & Management [electronic resource] : Proceedings of the First International Conference on Complex System Design & Management CSDM 2010

0
索取号:
作者:Aiguier、 Marc.、Bretaudeau、 Francis.、Krob、 Daniel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Symmetries and Group Theory in Particle Physics [electronic resource] : An Introduction to Space-Time and Internal Symmetries

0
索取号:
作者:Costa、 Giovanni.、Fogli、 Gianluigi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis [electronic resource] : AAMAS Workshop, AMEC 2008, Estoril, Portugal, May 12-16, 2008, and AAAI Workshop, TADA 2008, Chicago, IL, USA, July 14, 2008, Revised Selected Papers

0
索取号:
作者:Ketter、 Wolfgang.、Poutr茅、 Han.、Sadeh、 Norman.、Shehory、 Onn.、Walsh、 William.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Verification and Validation in Systems Engineering [electronic resource] : Assessing UML/SysML Design Models

0
索取号:
作者:Debbabi、 Mourad.、Hassa茂ne、 Fawzi.、Jarraya、 Yosr.、Soeanu、 Andrei.、Alawneh、 Luay.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.